What can we learn from Edsger W. Dijkstra? by Tony Hoare. 0. Preamble I would like to start by joining all of you in the expression of deep gratitude to Schlumberger for the grant which set up a series of lectures to hon

Source URL: ontopilot.com

1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi

Source URL: www.olejohandahl.info

• Formal methods
• Monitor
• Hoare logic
• Invariant
• Loop invariant
• Flag semaphore
• Variable
• ALGOL 68
• Predicate transformer semantics

hlf_2016_participating_laureates.indd

Source URL: www.heidelberg-laureate-forum.org

• Turing Award laureates
• Turing Award
• Nevanlinna Prize
• Robert Tarjan
• John Hopcroft
• Barbara Liskov
• Fields Medal
• Leslie Lamport
• Stephen Cook
• Alan Turing
• Tony Hoare
• Turing

Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005

Source URL: vstte.ethz.ch

Remarks for Japan Prize award ceremony for Dennis Ritchie, May 19, 2011, Murray Hill, NJ M. Douglas McIlroy Lots of people have exclaimed about what a revelation Unix was. As Tony Hoare said of Algol 60, Unix was not onl

Source URL: www.cs.dartmouth.edu

Unfolding CSP Mikkel Bundgaard and Robin Milner Dedicated to Sir Tony Hoare for his 75th birthday Appreciation from the second author Tony Hoare and I have exchanged ideas on concurrent processes for three decades. To a

Source URL: www.itu.dk

Paid work during term time: classed experiences of full-time undergraduate students Jody Mellor (University of Bristol) Richard Waller (UWE) Tony Hoare (University of Bristol)

Source URL: www.bristol.ac.uk

Engineering Theories of Software Construction, Tony Hoare, Manfred Broy and Ralf Steinbruggen eds; Proceedings of NATO Summer School, Marktoberdorf; IOS Press, Amsterdam, August 2000, pp3-20. Problem Analysis and Structu

Source URL: mcs.open.ac.uk

• Systems analysis
• Systems science
• Problem frames approach
• Data modeling
• Systems engineering
• Systems theory
• Science

Chapter 13 Software Development Method M. A. Jackson It is a great pleasure to be able to contribute to a Festschrift in Tony Hoare’s honour. I have

Source URL: mcs.open.ac.uk

• Formal methods
• Systems engineering
• Turing machine
• Computability theory
• Problem frames approach
• Moving frame
• Frame language
• Frame
• Complexity
• Theoretical computer science
• Applied mathematics
• Science

Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005

Source URL: vstte.ethz.ch

• Applied mathematics
• Computing
• Formal verification
• Model checking
• Programming tool
• Programming language
• Exception handling
• Device driver synthesis and verification
• Computer-aided software engineering
• Formal methods
• Logic in computer science
• Theoretical computer science